| 1 | Timothy Alan Budd and Ajei Sarat Gopal
Program Testing by Specification Mutation
Computer Languages, 10(1), 1985. |
|
| | Abstract: Both theoretical and empirical arguments suggest that specifications and implementations are equally important sources of information for generating test cases. Nevertheless, the majority of test generation procedures described in the literature deal only with the program source, ignoring specifications. In this paper we outline a procedure for measuring test case effectiveness using specifications given in predicate calculus form. This method is similar to the mutation analysis method of testing programs. |
| | @ARTICLE{BuddG85,
author = {Timothy Alan Budd and Ajei Sarat Gopal},
title = {Program Testing by Specification Mutation},
journal = {Computer Languages},
year = {1985},
month = {},
volume = {10},
number = {1},
pages = {63-73}
} |
| 2 | Ajei Sarat Gopal and Timothy Alan Budd
Program Testing by Specification Mutation
University of ArizonaTR 83-17, Tucson, Arizona, 1983. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{GopalB83,
author = {Ajei Sarat Gopal and Timothy Alan Budd},
title = {Program Testing by Specification Mutation},
institution = {University of Arizona},
year = {1983},
type = {techreport},
number = {TR 83-17},
address = {Tucson, Arizona},
month = {},
} |
| 3 | Timothy Alan Budd and Dana Angluin
Two Notions of Correctness and Their Relation to Testing
Acta Informatica, 18(1), March 1982. |
|
| | Abstract: We consider two interpretations for what it means for test data to demonstrate correctness. For each interpretation, we examine under what conditions data sufficient to demonstrate correctness exists, and whether it can be automatically detected and/or generated. We establish the relation between these questions and the problem of deciding equivalence of two programs. |
| | @ARTICLE{BuddA82,
author = {Timothy Alan Budd and Dana Angluin},
title = {Two Notions of Correctness and Their Relation to Testing},
journal = {Acta Informatica},
year = {1982},
month = {March},
volume = {18},
number = {1},
pages = {31-45}
} |
| 4 | Timothy Alan Budd and R. Hess and Frederick Gerald Sayward
EXPER Implementor's Guide
Yale University, New Haven, Connecticut, 1980. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{BuddHS80,
author = {Timothy Alan Budd and R. Hess and Frederick Gerald Sayward},
title = {EXPER Implementor's Guide},
institution = {Yale University},
year = {1980},
type = {techreport},
number = {},
address = {New Haven, Connecticut},
month = {},
} |
| 5 | Timothy Alan Budd
Mutation Analysis of Program Test Data
Yale University, New Haven, Connecticut, 1980.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Budd80,
author = {Timothy Alan Budd},
title = {Mutation Analysis of Program Test Data},
school = {Yale University},
year = {1980},
type = {phdthesis},
address = {New Haven, Connecticut},
month = {},
} |
| 6 | Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs
Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'80)Las Vegas, Nevada, 28-30 January 1980. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BuddDLS80,
author = {Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward},
title = {Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs},
booktitle = {Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'80)},
year = {1980},
address = {Las Vegas, Nevada},
month = {28-30 January},
pages = {220-233}
} |
| 7 | Allen Troy Acree and Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
Mutation Analysis
Georgia Institute of TechnologyGIT-ICS-79/08, Atlanta, Georgia, 1979. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{AcreeBDLS79,
author = {Allen Troy Acree and Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward},
title = {Mutation Analysis},
institution = {Georgia Institute of Technology},
year = {1979},
type = {techreport},
number = {GIT-ICS-79/08},
address = {Atlanta, Georgia},
month = {},
} |
| 8 | Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
The Design of a Prototype Mutation System for Program Testing
Proceedings of the AFIPS National Computer ConferenceAnaheim, New Jersey, 5-8 June 1978. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BuddDLS78,
author = {Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward},
title = {The Design of a Prototype Mutation System for Program Testing},
booktitle = {Proceedings of the AFIPS National Computer Conference},
year = {1978},
address = {Anaheim, New Jersey},
month = {5-8 June},
pages = {623-627}
} |
| 9 | Timothy Alan Budd and Richard J. Lipton
Mutation Analysis of Decision Table Programs
Proceedings of the Conference on Information Sciences and Systems, 1978. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BuddL78b,
author = {Timothy Alan Budd and Richard J. Lipton},
title = {Mutation Analysis of Decision Table Programs},
booktitle = {Proceedings of the Conference on Information Sciences and Systems},
year = {1978},
address = {},
month = {},
pages = {346-349}
} |
| 10 | Timothy Alan Budd and Richard J. Lipton
Proving LISP Programs Using Test Data
Proceedings of the Workshop on Software Testing and Test Documentation, December 1978. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BuddL78,
author = {Timothy Alan Budd and Richard J. Lipton},
title = {Proving LISP Programs Using Test Data},
booktitle = {Proceedings of the Workshop on Software Testing and Test Documentation},
year = {1978},
address = {},
month = {December},
pages = {374-403}
} |
| 11 | Timothy Alan Budd and Frederick Gerald Sayward
Users Guide to the Pilot Mutation System
Yale University114, New Haven, Connecticut, 1977. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{BuddS77,
author = {Timothy Alan Budd and Frederick Gerald Sayward},
title = {Users Guide to the Pilot Mutation System},
institution = {Yale University},
year = {1977},
type = {techreport},
number = {114},
address = {New Haven, Connecticut},
month = {},
} |
